settings: Reset all styles when the enable-animations settings changes

https://bugzilla.gnome.org/show_bug.cgi?id=686021

diff --git a/gtk/gtksettings.c b/gtk/gtksettings.c
index 47328f10497b43d67fd3d8955676d35010fc6375..34f4211791e7601b2662827d6a8f39002638e04a 100644 (file)
--- a/gtk/gtksettings.c
+++ b/gtk/gtksettings.c
@@ -1854,6 +1854,9 @@ gtk_settings_notify (GObject    *object,
       if (settings_update_fontconfig (settings))
         gtk_style_context_reset_widgets (priv->screen);
       break;
+    case PROP_ENABLE_ANIMATIONS:
+      gtk_style_context_reset_widgets (priv->screen);
+      break;
     case PROP_CURSOR_THEME_NAME:
     case PROP_CURSOR_THEME_SIZE:
       settings_update_cursor_theme (settings);